Delivering blockchain technology to transform the way the world does business Our vision is of a world where everyone can transact directly and privately without friction; a world where business partners operate in perfe

Source URL: www.r3.com

• Blockchains
• Cryptocurrencies
• Computing
• Concurrent computing
• Ethereum
• Distributed computing
• R3
• Cross-platform software
• CORDA
• Sam Lee
• Hyperledger

Exploring Adaptive Reconfiguration to Optimize Energy Efficiency in Large-Scale Battery Systems Liang He1 , Lipeng Gu2 , Linghe Kong1, Yu Gu1 , Cong Liu3 , Tian He4 1 Singapore University of Technology and Design, Singap

Source URL: wirelesslab.sjtu.edu.cn

• Electromagnetism
• Energy
• Electrical engineering
• Rechargeable batteries
• Analog circuits
• Battery charging
• Energy conversion
• Electric battery
• Electric power
• Battery charger
• Lithium-ion battery
• Voltage

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives Marta Kwiatkowska1 , Davi

Source URL: www.prismmodelchecker.org

MEMORANDUM 3rd International Seminar and Workshop on Emerging Technology and Innovation for Cultural Heritage (ETICH) Advanced Technology for Diagnosis, Preservation and Management of Historical and Archaeological Parchm

Source URL: www.collage.com.ro

• Geography of Europe
• Europe
• Sibiu
• ASTRA National Museum Complex
• Bucharest
• Romania
• Transylvania

PNCOIRank: Evaluating the Impact of Scholarly Articles with Positive and Negative Citations Xiaomei Bai, Jun Zhang, Hai Cui, Zhaolong Ning and Feng Xia School of Software, Dalian University of Technology, Dalian,

Source URL: gdac.uqam.ca

• Reference
• Information science
• Mathematical analysis
• Google Search
• PageRank
• Reputation management
• Search engine optimization
• Knowledge
• Citation network
• Citation
• Cai Gao
• Pi

A Verified Generational Garbage Collector for CakeML Adam Sandberg Ericsson, Magnus O. Myreen, and Johannes ˚ Aman Pohjola Chalmers University of Technology, Sweden

Source URL: cakeml.org

• Computing
• Software engineering
• Memory management
• Computer programming
• Pointer
• Garbage collection
• Heap
• C dynamic memory allocation
• Region-based memory management
• Go
• Garbage
• Sort

HMFEv - An Efficient Multivariate Signature Scheme Albrecht Petzoldt1(B) , Ming-Shing Chen2 , Jintai Ding3 , and Bo-Yin Yang2 1 National Institute for Standards and Technology, Gaithersburg, MD, USA

Source URL: precision.moscito.org

• Cryptography
• Multivariate cryptography
• Post-quantum cryptography
• Hidden Field Equations
• Unbalanced Oil and Vinegar
• QUAD
• Quadratic form
• Digital signature
• Quadratic function
• XSL attack

Exploiting Traces in Program Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software?? , Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA

Source URL: rjoshi.org

• FO
• Finite model theory
• Model theory
• Metaphilosophy
• Mathematical logic
• Mathematics
• Sigma-algebra
• Pattern language

June 27, 2018 The Honorable Ralph Abraham, Chairman The Honorable Don Beyer, Ranking Member House Committee on Science, Space, and Technology Subcommittee on Oversight 2321 Rayburn House Office Building

Source URL: www.epic.org

• Law enforcement
• Learning
• Law
• Surveillance
• Mobile security
• Telephone tapping
• Electronic Privacy Information Center
• Politics and technology
• Stingray phone tracker
• IMSI-catcher
• Marc Rotenberg
• Carpenter v. United States